Composition and Re nement Mapping based Construction ofDistributed
نویسندگان
چکیده
Major steps of the design of distributed applications correspond to the integration of predeened patterns. To support such design steps, a concept for reenement by pattern composition is introduced which applies formal process composition and provides functions for the tool assisted construction and modiication of speciications. The approach is based on L. Lamport's Temporal Logic of Actions TLA and the related theory of reenement mappings and system composition.
منابع مشابه
Fachbereich Informatik
Major steps of the design of distributed applications correspond to the integration of prede ned patterns. To support such design steps, a concept for re nement by pattern composition is introduced which applies formal process composition and provides functions for the tool assisted construction and modi cation of speci cations. The approach is based on L. Lamport's Temporal Logic of Actions TL...
متن کاملRe nement-Mapping based Construction of ISO/OSI-conformable Distributed Applications
Because of the increasing complexity of distributed applications methods are of interest which assure product quality and enhance developer's productivity. Our approach centers on the utilization of formal modelling techniques for the design of open applications the components of which interact via standardized ISO/OSI communication services. In addition to the design of the problem-oriented 'p...
متن کاملEnhancing Dependability via Parameterized Re nement
A probabilistic extension of the re nement calculus has been successfully applied in the design of safety-critical systems. The approach is based on a rm mathematical foundation within which the reasoning about correctness and behavior of the system under construction is carried out. The framework allows us also to obtain a quantitative assessment of the attributes of system dependability. In t...
متن کاملOn Syntactic and Semantic Action Re nement
The semantic de nition of action re nement on labelled event structures is compared with the notion of syntactic substitution which can be used as another notion of action re nement in a process algebraic setting This is done by studying a process algebra equipped with the ACP sequential composition parallel composition with an explicit synchronisation set and an operator for action re nement O...
متن کاملKnowledge modelling for a generic refinement framework
Re nement tools assist with debugging a KBS's knowledge, thus easing the well-known knowledge acquisition bottleneck, and the more recently recognised maintenance overhead. Existing re nement tools are developed for speci c rule-based KBS environments, and have usually been applied to arti cial or academic applications. Hence there is a need for tools which are applicable to industrial applicat...
متن کامل